package prolog.terms

class true_ extends ConstBuiltin("true") {
  override def exec(p: Prog) = 1

}